1. AML--The Agent Modeling Language
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intelligent agents (Computer software) ; Computer software ; Development. ; Programming languages (Electronic computers) ;
2. Code craf
المؤلف: / Pete Goodliffe
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming.,Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
6
,.
G656
,
2006eb
3. Code craft
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
4. Domain-specific modelin
المؤلف: / Steven Kelly, Juha-Pekka Tolvanen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),Computer software--Development
رده :
QA
,
76
.
7
,.
K45
,
2008eb
5. Domain-specific modeling
المؤلف: / Steven Kelly, Juha-Pekka Tolvanen
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Programming languages (Electronic computers),Computer software- Development
رده :
QA76
.
7
.
K45
2008
6. Formal specification and software development
المؤلف: Bjorner, Dines, 7391-
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
7. Mastering Rust :
المؤلف: Vesa Kaihlavirta.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)
رده :
QA76
.
7
8. MetaSoft primer :
المؤلف: Andrzej Blikle.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
.
B57
1987
9. MetaSoft primer : towards a metalanguage for applied denotational semantics
المؤلف: Blikle, Andrzej
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
288
10. Practical TLA+ :
المؤلف: Hillel Wayne.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
رده :
QA76
.
7
11. Rust essentials :
المؤلف: Ivo Balbaert
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software-- Development,Computer programming,Programming languages (Electronic computers)
رده :
QA76
.
7
12. Software language engineering :
المؤلف: Anneke Kleppe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
رده :
QA76
.
7
.
K576
2009
13. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
المؤلف: SLE 8002)8002 :Toulouse, France(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
رده :
QA
76
.
7
.
S587
2008
14. Swift 3 for Absolute Beginners
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
15. The Agent Modeling Language--AML
المؤلف: / Radovan Cervenka, Ivan Trencansky
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
16. The Imperative future :principles of executable temporal logic
المؤلف: edited by Howard Barringer ... ]et al.[
المکتبة: (خراسان الجنوبیة)
موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
